Postdoc at The Weizmann Institute of Science

Senior Lecturer, Technion, Haifa, Israel.

The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.

The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.

The Technion - Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distributed systems (debugging, domain archetypes), interleaving set temporal logic (includ...

Courses material, evolving coding examples, books and links, reviews on Bad-Books, C, C++, OOP, UML.

Israel Institute of Technology.

The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.

A collection of resources in a variety of fields related to text, speech and language processing. These include computational linguistics, information retrieval and machine learning. Here you can find pointers to useful Web sites, as well as lists of ...

A focused search algorithm (SALSA) based on Markov chains. It starts with a query on a broad topic, discards useless links, and then weights the remaining terms. A stochastic crawl is used to discover the authorities on this topic. [PS format]